يغطي المساق المكونات الرياضية لعلم الحاسوب، المواضيع المغطاة تشمل: المنطق الإقتراحي ، المنطق الإسنادي، المنطق الرياضي ، طرق الإثبات ، الإستقراء الرياضي ، نظرية المجموعة ، نظرية الأعداد، المصفوفات، المتتاليات و المتسلسلات ، الإقترانات ، العلاقات و خصائصها ، أساسيات نظرية البيان ، و الشجرة. |